concurrent dynamic logic
并行动态逻辑(电路)
热门查询
- lynching n. 处以私刑；处私刑杀害 v. 以私刑处死（lynch的ing形式）
- yarmulke n. 圆顶小帽（犹太男子在祷告，学习，吃饭等时戴的，等于yarmelke）
- distantly adv. 远离地；疏远地；冷淡地
- mil n. 毫升；密耳（千分之一寸） n. (Mil)人名；(俄、塞)米尔
- unfired adj. [热] 未燃烧的；未点燃的
- benighted adj. 愚昧的；赶路到天黑的 v. 使处于夜色包围之中；使愚昧无知（benight的过去分词）
- accommodative adj. 适应的；[自] 调节的；予以方便的；随和的（等于accommodating）
- move n. 移动；步骤；迁居；策略 vi. 移动；搬家，迁移；离开 vt. 移动；感动
- avowed adj. 公开宣布的；公开承认的；公然的 v. 声明（avow的过去式和过去分词）
- charitably adv. 慈善地；慷慨地；宽怒地
- massed adj. 大规模的；集体的；集合的 v. 集中；聚焦（mass的过去式和过去分词）
- wholesaler n. 批发商
- masculinize vt. 使…雄性化；使男子化（尤指使女人具有男子特征）
- oblique adj. 斜的；不光明正大的 n. 倾斜物 vi. 倾斜
- life cycle n. 生命周期；寿命（产品等从开发到使用完毕的一段时间） [网络] 生活史；寿命周期；生活周期
- overcapacity n. 生产能力过剩
- obstructionist n. 妨碍者；蓄意阻挠者 adj. 阻挠议事的；蓄意阻挠的
- taxer [法] 缴税人, 纳税人
- uncharged adj. 未装弹药的；[物] 无电荷的；没有被指控的 v. 卸货（uncharge的过去式与过去分词）
- theater n. 电影院，戏院，剧场；戏剧；手术室
